\input texinfo.tex instead of just texinfo, to
authorKarl Berry <karl@gnu.org>
Tue, 9 Mar 2004 00:01:14 +0000 (00:01 +0000)
committerKarl Berry <karl@gnu.org>
Tue, 9 Mar 2004 00:01:14 +0000 (00:01 +0000)
commit3120207d0c96303365d0eb3224efbeb93d9d84f2
treebd4a7dfb08bb0962e44046f79f0a7115c3e5f71a
parent61a4e357fa6d561c275f172a8be0d7b97a184551
\input texinfo.tex instead of just texinfo, to
avoid problems making the texinfo distribution.
man/info.texi